#include "list.h"

void list_push_back(int x)
{
  printf("%d\n",x);
}

void add(int i, int j)
{}

int add(double i, double j)
{
  return 0;
}
